1161. Special topics in structural dynamics.
المؤلف: Nikolaos Dervilis, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Structural dynamics, Congresses.,Structural dynamics.,TECHNOLOGY & ENGINEERING-- Civil-- General.
رده :
TA654
1162. Stabilization, safety, and security of distributed systems :
المؤلف: Xavier Défago, Franck Petit, Vincent Villainches
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer security, Congresses,Electronic data processing-- Distributed processing-- Safety measures, Congresses,Self-stabilization (Computer science), Congresses
رده :
QA76
.
9
.
S54
S67
2011
1163. Static Analysis
المؤلف: \ Sandrine Blazy , Thomas Jensen (Eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer programming -- Congresses.,Software engineering -- Congresses.,Computer programming.,برنامه‌نویسی -- کنگره‌ها,نرم‌افزار -- مهندسی-- کنگره‌ها ,برنامه‌نویسی
رده :
QA
76
.
6
.
S7
2015
E-Book
,
1164. Static analysis :
المؤلف: Antoine Miné, David Schmidt (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.
رده :
QA76
.
6
.
I5733
2012eb
1165. Static analysis
المؤلف: Francesco Logozzo, Manuel Fähndrich (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses,Software engineering, Congresses
رده :
QA76
.
6
.
I58
2013
1166. Static analysis
المؤلف: Jens Palsberg, Zhendong Su (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
.
I5733
2009
1167. Static analysis :
المؤلف: Eran Yahav (edition)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming, Congresses,Programming languages (Electronic computers), Congresses
رده :
QA76
.
6
1168. Statistics and simulation :
المؤلف: Jurgen Pilz, Dieter Rasch, Viatcheslav B. Melas, Karl Moder, editors.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Perfect simulation (Statistics), Congresses.,3D graphics & modelling.,Mathematical & statistical software.,Perfect simulation (Statistics),Probability & statistics.,REFERENCE-- Questions & Answers.
رده :
T57
.
62
1169. Studies of software design : ICSE '93 Workshop, Baltimore, Maryland, USA, May 17-18, 1993 : selected papers
المؤلف: David Alex Lamb, )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development
رده :
QA
76
.
L28
Vol
.
1078
1170. Subject-oriented business process management :
المؤلف: Albert Fleischmann [and others] (editions.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Business-- Data processing, Congresses,Computer network architectures, Congresses,Management information systems, Congresses,Software engineering, Congresses
رده :
T58
.
6
.
S37
2011
1171. Supercomputing :
المؤلف: J. Kondō, editor.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Grands ordinateurs -- Congrès.,Supercomputers -- Congresses.,Supercomputers.
رده :
QA76
.
88
J566
1991
1172. Supercomputing frontiers :
المؤلف: Rio Yokota, Weigang Wu (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Supercomputers, Congresses.,Supercomputers.
رده :
QA76
.
88
1173. System analysis and modeling:
المؤلف: Oeystein Haugen, Rick Reed, Reinhard Gotzhein (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Communication Networks -- Congresses.,Computer science -- Congresses.,Information systems -- Congresses.
1174. System analysis and modeling :
المؤلف: Ferhat Khendek, Reinhard Gotzhein (Eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: System analysis, Congresses.,Business & Economics-- Information Management.,Computer hardware.,Computer networking & communications.,Computers-- Hardware-- General.,Computers-- Software Development & Engineering-- General.,Information architecture.,Software Engineering.,System analysis.
رده :
QA402
.
S26
2018
1175. System level design from HW/SW to memory for embedded systems :
المؤلف: Marcelo Götz, Gunar Schirner, Marco Aurélio Wehrmeister, Mohammad Abdullah Al Faruque, Achim Rettberg (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Embedded computer systems, Congresses.,Computer hardware.,Computers-- Expert Systems.,Computers-- Hardware-- General.,Computers-- Information Technology.,Computers-- Software Development & Engineering-- General.,Embedded computer systems.,Expert systems-- knowledge-based systems.,Software Engineering.,Systems analysis & design.
رده :
TK7895
.
E42
1176. System specification and design languages
المؤلف: / Tom J. Kaazmierski, Adam Morawiec, editors
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Computer hardware description languages--Congresses,Integrated circuits--Very large scale integration--Design and construction--Congresses,Formal methods (Computer science)--Congresses,Software engineering--Congresses,Computer software--Verification--Congresses,Software architecture--Congresses
رده :
TK7885
.
7
.
F35
2012
1177. System specification and design languages
المؤلف: Tom J. Kaźmierski, Adam Morawiec, editors
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer hardware description languages, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Integrated circuits-- Very large scale integration-- Design and construction, Congresses,Software architecture, Congresses,Software engineering, Congresses
رده :
TK7885
.
7
.
F35
2010eb
1178. Systems Implementation 2000 : IFIP TC2 WG2.4 Working Conference on Systems Implementation 2000 : Languages, Methods and Tools 23-26 February 1998, Berlin, Germany
المؤلف: edited by R. N. Horspool
المکتبة: (طهران)
موضوع: Software engineering - Congresses , Computer software - Development - Congresses
رده :
QA
76
.
758
.
I35
1998
1179. Systems, Software and Services process Improvement.
المؤلف: \ Rory V. O’Connor...[et.al]
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Software engineering.,Computer software -- Development -- Congresses.,Computer software -- Quality control -- Congresses,مهندسی نرم افزار ,نرم‌افزار -- تولید -- کنگره ها ,نرم افزار -- ک‍ن‍ت‍رل ک‍ی‍ف‍ی‍ت -- کنگره ها
رده :
QA
76
.
76
.
S968
2015
E-Book
,
1180. TAPSOFT'93 : Theory and practice of software Development: 4th International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993: proceedings
المؤلف: M.C. Gaudel, J.P. Jouannaud )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Data processing -- Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity
رده :
QA
76
.
L28
Vol
.
668
